A calculational approach to reactive systems
نویسندگان
چکیده
منابع مشابه
A Calculational Approach to Mathematical Induction
Several concise formulations of mathematical induction are presented and proven equivalent. The formulations are expressed in variable-free relation algebra and thus are in terms of relations only, without mentioning the related objects. It is shown that the induction principle in this form, when combined with the explicit use of Galois connections, lends itself very well for use in calculation...
متن کاملA calculational approach to program inversion
Many problems in computation can be specified in terms of computing the inverseof an easily constructed function. However, studies on how to derive an algorithm froma problem specification involving inverse functions are relatively rare. The aim of thisthesis is to demonstrate, in an example-driven style, a number of techniques to do the job.The techniques are based on the frame...
متن کاملA Calculational Approach to Control-Flow Analysis by Abstract Interpretation
We present a derivation of a control-flow analysis by abstract interpretation. Our starting point is a transition system semantics defined as an abstract machine for a small functional language in continuation-passing style. We obtain a Galois connection for abstracting the machine states by composing Galois connections, most notable an independent-attribute Galois connection on machine states ...
متن کاملProgramming Research Group A CALCULATIONAL APPROACH TO PROGRAM INVERSION
Many problems in computation can be specified in terms of computing the inverse of an easilyconstructed function. However, studies on how to derive an algorithm from a problem specificationinvolving inverse functions are relatively rare. The aim of this thesis is to demonstrate, in anexample-driven style, a number of techniques to do the job. The techniques are based on theframe...
متن کاملThe Synchronous Approach to Designing Reactive Systems
Synchronousprogramming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, decl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2000
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(99)00025-8